Publikationsdienste
→
Universitätsbibliographie
→
Auflistung Universitätsbibliographie nach Autor

Auflistung Universitätsbibliographie nach Autor "Skupin, Ingo"

Anzeige der Dokumente 1-5 von 5

Data-Codata Symmetry and its Interaction with Evaluation Order

Ostermann, Klaus; Binder, David; Skupin, Ingo; Jabs, Julian (2022)
Decomposition diversity with symmetric data and codata

Binder, David; Jabs, Julian; Skupin, Ingo; Ostermann, Klaus (2019)
Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices

Ostermann, Klaus; Süberkrüb, Tim; Skupin, Ingo; Binder, David (2024)
Introduction and elimination, left and right

Ostermann, Klaus; Binder, David; Skupin, Ingo; Süberkrüb, Tim; Downen, Paul (2022)
Structural refinement types

Binder, David; Skupin, Ingo; Läwen, David; Ostermann, Klaus (2022)

Anzeige der Dokumente 1-5 von 5

Publikation melden

Hilfe und Informationen

Stöbern

Gesamter Bestand
In diesem Bereich

Mein Benutzerkonto

Einloggen